1. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
2. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
3. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
